﻿using System.Collections.Generic;
using TSU.FAMC.ComputerEngineering.Classes.Diagnostics.PathDelayFaults;

namespace PathDelayFaultRobustObservabilityAnalyzer
{
    class ObservabilityResult
    {
        public string Name { get; set; }
        public List<List<FlipFlopStats>> Observabilities { get; set; }
        public ObservabilityStatus Status { get; set; }
        public string Description { get; set; }
    }
}
